home *** CD-ROM | disk | FTP | other *** search
/ Sprite 1984 - 1993 / Sprite 1984 - 1993.iso / src / cmds / ditroff / eqnSyms < prev    next >
Encoding:
Text File  |  1990-03-04  |  6.5 KB  |  251 lines
  1. .EQ
  2. delim $$
  3. tdefine compose % { ~"\h'-0.15m'\
  4. \v'0.30m'\
  5. \(de\
  6. \h'0.15m'\
  7. \v'-0.30m'" } %
  8. ndefine compose % ~"o"~ %
  9. tdefine degree % \(de %
  10. ndefine degree % { nothing sup o } %
  11. tdefine circle % \(ci %
  12. ndefine circle % O %
  13. tdefine starprod % { ^ down 40 back 13 size +3 roman "*" ^ } %
  14. ndefine starprod % * %
  15. tdefine star % { up 8 back 28 size +1 roman "*" } %
  16. tdefine Star % { up 20 back 16 size +1 roman "*" } %
  17. ndefine Star % sup roman "*" %
  18. define quot % ^ \(di ^ %
  19. tdefine bottom %  { "\fB\
  20. \s7\
  21. \l'1.10m'\
  22. \h'-0.55m'\
  23. \L'-0.80m'\
  24. \h'0.55m'\
  25. \v'0.80m'\
  26. \s0\
  27. \fP" } %
  28. ndefine bottom % _| %
  29. tdefine botbar % { "\fB\
  30. \s7\
  31. \l'1.10m'\
  32. \h'-0.55m'\
  33. \L'-0.80m'\
  34. \h'-0.55m'\
  35. \fP\
  36. \v'-0.45m'\
  37. \l'0.7m'\
  38. \h'0.55m'\
  39. \v'1.25m'\
  40. \s0" } %
  41. ndefine botbar % _| bar %
  42. tdefine orsign % { ^ "\s-2\
  43. \h'.05m'\
  44. \v'.15m'\
  45. \z\
  46. \e\
  47. \e\
  48. \h'-.08m'\
  49. \z\(sl\
  50. \(sl\
  51. \h'-.1m'\
  52. \v'-.15m'\
  53. \s+2" ^ } %
  54. ndefine orsign % \/ %
  55. tdefine andsign % { ^ "\s-2\
  56. \v'.15m'\
  57. \z\(sl\
  58. \(sl\
  59. \h'-.3m'\
  60. \z\e\
  61. \e\
  62. \v'-.15m'\
  63. \s+2" ^ } %
  64. ndefine andsign % /\ %
  65. define xor % { ^ \(ci size +2 { back 70 down 6 + } ~ } %
  66. define dsum % xor %
  67. define dprod % { ^ \(ci back 70 times ^ } %
  68. tdefine exists % { "\s-3\
  69. \v'.2m'\
  70. \z\(em\
  71. \v'-.5m'\
  72. \z\(em\
  73. \v'-.5m'\
  74. \z\(em\
  75. \v'.85m'\
  76. \h'.9m'\
  77. \z\(br\
  78. \h'.004i'\
  79. \(br\
  80. \h'.02m'\
  81. \v'-.05m'\
  82. \s+3\
  83. \h'.2m'" ~} %
  84. tdefine !exist % { ~ { size -3 "\v'.2m'\
  85. \z\(em\
  86. \v'-.5m'\
  87. \z\(em\
  88. \v'-.5m'\
  89. \z\(em\
  90. \v'.85m'\
  91. \h'.9m'\
  92. \z\(br\
  93. \h'.004i'\
  94. \(br\
  95. \h'.02m'\
  96. \v'-.05m'\
  97. \h-.1m\
  98. \h'.3m'" { back 90 down 10 size +3 / }} ^ } %
  99. tdefine forall % { "\z\e\h'0.5m'\z\(sl\h'-.2m'\v'-.37m'\
  100. \s-4\fB\l'1m'\fP\s0\v'.37m'\h'0.25m'" ~ } %
  101. ndefine forall % V- %
  102. tdefine member % { ^ fat { \(mo } ^ } %
  103. ndefine member % C- %
  104. tdefine !member ' { ^ \(mo back 70 / ^ } '
  105. ndefine !member % C-/ %
  106. tdefine empty % { size +1 { fat \(es }  } %
  107. ndefine empty % O/ %
  108. tdefine therefore % { ~ "\s-2\(bu\v'-.5m'\(bu\v'.5m'\(bu\s+2" ~ } %
  109. ndefine therefore % .. ":" %
  110. tdefine dotprod % { up 10 size -3 \(bu } %
  111. ndefine dotprod % oxe %
  112. tdefine box % { ~ down 25 size 16 \(sq ~ } %
  113. ndefine box % HIX %
  114. tdefine endpf % { "\h'.25i'\v'+.35'\s18\
  115. \(sq\h'-.25m'\v'-.28m'\(sq\v'+.07m'\h'.25m-.25i'\s0" } %
  116. ndefine endpf % HIXHIX %
  117. tdefine quad % { "[\h'-12u']" } %
  118. ndefine quad % [] "_" sup "_" %
  119. define eq '~=~'
  120. tdefine !eq % { ~ = back 70 / ~ } %
  121. ndefine !eq % { ~ = "/" ~ } %
  122. tdefine equiv % { ~ size -3
  123. { "\fB\v'-.14'\
  124. \l'1.2m'\h'-1.2m'\v'-.255m'\
  125. \l'1.2m'\h'-1.2m'\v'-.25m'\
  126. \l'1.2m'\fP\v'.645m'" }
  127. ~ } %
  128. ndefine equiv '~ == ~'
  129. tdefine !equiv % { ~
  130. size -3 { "\fB\
  131. \v'-.14'\
  132. \l'1.2m'\h'-1.2m'\v'-.255m'\
  133. \l'1.2m'\h'-1.2m'\v'-.25m'\
  134. \l'1.2m'\v'.645m'\fP"}
  135. back 70 up 2  /
  136. ~  } %
  137. ndefine !equiv '~== "/"~'
  138. tdefine =bydef % {  ~ up 45 { \s-1 DELTA  }  back 65 down 10  { "=" } \s+1 ~ } %
  139. ndefine =bydef % ="^" %
  140. tdefine iso % { ~= back 80  up 45 \(ap~ } %
  141. ndefine iso % ="~" %
  142. tdefine t- % { ~ "\(~=" ~ } %
  143. ndefine t- % _"~" %
  144. tdefine twiddle % \(ap %
  145. ndefine twiddle % "~" %
  146. tdefine hat % { up 31 back 75 roman "^" } %
  147. tdefine Hat % { up 56 back 70 roman "^" } %
  148. ndefine Hat % hat %
  149. tdefine tilde % { up 45 back 80 "\(ap" } %
  150. tdefine Tilde % { up 68 back 74 "\(ap" } %
  151. ndefine Tilde % tilde %
  152. define inf % { down 10 fat { size +3 \(if } } %
  153. tdefine propor % { ~ fat "\s+2\(pt\s-2"~ } %
  154. ndefine propor % oc %
  155. tdefine =dot  % { ~ = back 49 up 52 size -6 "\(bu" fwd 49 ~ } %
  156. define ne %  { ~ != ~ } %
  157. define le %  { ~ bold <= ~ } %
  158. define ge %  { ~ bold >= ~ } %
  159. define lt %  { ~ < ~ } %
  160. define gt %  { ~ > ~ } %
  161. tdefine <->  % { ^ <- back 32 -> ^  } %
  162. ndefine <-> % "<-->" %
  163. tdefine t< % { ~ "\z<\v'.5m'\(ap\v'-.5m'" ~ } %
  164. tdefine t> % { ~ "\z>\v'.5m'\(ap\v'-.5m'" ~ } %
  165. tdefine <=> % { ^ < back 40 = back 30 = back 60 > ^ } %
  166. ndefine <=> % "<=>" %
  167. tdefine => % { ^ = back 30 = back 60 > ^  } %
  168. ndefine => % "==>" %
  169. tdefine not< % {  ~ < back 47 fat "|" ~  } %
  170. ndefine not< % ~ <| ~ %
  171. tdefine not> % { ~ > back 57 fat "|" ~  } %
  172. ndefine not> % ~ |> ~ %
  173. tdefine div % { ^ fat "|" ^ } %
  174. ndefine div % ~ | ~ %
  175. tdefine !div %{ ^ fat "|" {back 40 /} ^ } %
  176. ndefine !div %^ "|/" ^%
  177. tdefine ang % { "\s-2\h'+.25m'\
  178. \v'-0.05m'\(sl\h'-.88m'\v'+0.05m'\l'.6m'\h'+.5m'\s+2"  } %
  179. ndefine ang % /_ %
  180. tdefine perpto % { ^"\fB\
  181. \s7\
  182. \l'0.80m'\
  183. \h'-0.66m'\
  184. \L'-0.80m'\
  185. \h'0.66m'\
  186. \v'0.80m'\
  187. \s0\
  188. \fP" ^ }  %
  189. ndefine perpto % L %
  190. tdefine l< % {  size -3 "\v'-.5m'\
  191. \(sl\v'+0.7m'\h'-0.87m'\e\v'-.2m'" } %
  192. ndefine l< % < %
  193. tdefine r> % { size -3 "\v'-.5m'\
  194. \e\v'+0.7m'\h'-.6m'\(sl\v'-.2m'\h'-.32m'" } %
  195. ndefine r> % > %
  196. define lset % { ^ "{" ~ } %
  197. define rset % { ~ "}" ^ } %
  198. tdefine [[ % { [ back 25 [ } %
  199. ndefine [[ % [[ %
  200. tdefine ]] % { ] back 25 ] } %
  201. ndefine ]] % ]] %
  202. define sthat % ~ | ~ %
  203. define || % "|" back 10 "|" %
  204. define lfloor % { \(lf ^ } %
  205. define rfloor % { ^ \(rf } %
  206. define lceil % { \(lc ^ } %
  207. define rceil % { ^ \(rc } %
  208. define !+- % { ^ up 10 fat { \(+- } ^ } %
  209. tdefine subset % { ^ \(sb ^ } %
  210. ndefine subset % C  %
  211. tdefine supset % { ^ \(sp ^ } %
  212. ndefine supset % "_)" sup "_" %
  213. tdefine ipsubset % { ^ up 10 \(sb back 72 down 10 "\l'0.35m'\h'0.35m'" ^ } %
  214. ndefine ipsubset % C_ %
  215. tdefine ipsupset % { ^ up 10 \(sp back 75 down 10 "\l'0.29m'\h'0.29m'" ^ } %
  216. ndefine ipsupset % "_" sup "_" "/)" %
  217. tdefine ipincl % { ~ "\v'-.35m'\s-1\z\h'+.1m'\
  218. \s-3\(or\s+3\h'-.2m'\v'-.35m'\z\
  219. \(em\v'.7m'\z\(em\v'.3m'\(em\v'-.55m'\s+1\h'+.1m'\v'+.3m'" ~ } %
  220. ndefine ipincl % C_ %
  221. tdefine incl % { ~ back 25 up 10 { size -4 up 10 { fat "|" } size -1
  222. { back 24 down 28 fat "\(em" back 86 up 46 fat "\(em" } } ~ } %
  223. ndefine incl % ~ [ ~ %
  224. tdefine lub  % { ~ size -1
  225. { fat "|" back 31 down 41 fat "\(em" back 13 fat "|" } ~ } %
  226. tdefine glb  % { ~ size -1
  227. { fat "|" back 30 up 61  fat "\(em" back 13 fat "|" } ~ } %
  228. tdefine reals % { roman { I back 20 R }  } %
  229. ndefine reals % "RR"  %
  230. tdefine natnums % { roman { I back 20 N } } %
  231. ndefine natnums % "NN"  %
  232. define complex % { ~ { roman C back 50 up 20 { fat size -10 "|" }} ~ } %
  233. define rationals % { ~ { roman Q back 50 up 20 { fat size -10 "|" }} ~ } %
  234. define ints % { ~ { roman Z back 100 roman Z } ~ } %
  235. define xlist % { x sub 1 ,..., x sub n } %
  236. define xsubi % { x sub i } %
  237. define xsubj % { x sub j } %
  238. tdefine quarter % { size -3 {up 70 fwd 2 roman "1" }}
  239. back 54 { size +3 roman "/" } size -2 {back 60 up 10 roman "4" } %
  240. ndefine quarter % 1/4 %
  241. tdefine 3quarter % { size -3 {up 67 back 10 roman "3" }}
  242. back 54 { size +3 roman "/" } size -2 {back 60 up 5 roman "4" } %
  243. ndefine 3quarter % 3/4 %
  244. define where % { ~ bold "where" ~ } %
  245. define iff % { ~ roman "if and only if" ~ } %
  246. tdefine nbyn % { n back 10 times n } %
  247. ndefine nbyn % { n times n } %
  248. tdefine mbyn % { m back 15 times n } %
  249. ndefine mbyn % { m times n } %
  250. .EN
  251.